import category_theory.products.bifunctor
import category_theory.products.associator
